91![LNCSA Standard Framework for Timetabling Problems LNCSA Standard Framework for Timetabling Problems](https://www.pdfsearch.io/img/fae986925fd2dabecaf01ad6cdfce480.jpg) | Add to Reading ListSource URL: stefan.buettcher.orgLanguage: English - Date: 2006-04-07 00:52:14
|
---|
92![Temporal Mode-Checking for Runtime Monitoring of Privacy Policies Omar Chowdhury§ , Limin Jia§ , Deepak Garg† , and Anupam Datta§ Carnegie Mellon University§ , Max Planck Institute for Software Systems† {omarc, l Temporal Mode-Checking for Runtime Monitoring of Privacy Policies Omar Chowdhury§ , Limin Jia§ , Deepak Garg† , and Anupam Datta§ Carnegie Mellon University§ , Max Planck Institute for Software Systems† {omarc, l](https://www.pdfsearch.io/img/a09696d58ad3e630bc630bc09f178681.jpg) | Add to Reading ListSource URL: www.andrew.cmu.eduLanguage: English - Date: 2016-01-24 20:37:43
|
---|
93![Sonic Partial Deduction Jonathan Martin and Michael Leuschel Declarative Systems and Software Engineering Group Technical Report DSSE-TR-99-3 Sonic Partial Deduction Jonathan Martin and Michael Leuschel Declarative Systems and Software Engineering Group Technical Report DSSE-TR-99-3](https://www.pdfsearch.io/img/61ddf4e4b2c1cf6ffa62fc812babb17f.jpg) | Add to Reading ListSource URL: repository.readscheme.orgLanguage: English - Date: 2010-10-22 08:06:04
|
---|
94![New Wave KRR: Rulelog-based Deep Reasoning with NLP for Financial Regulatory Compliance and More Benjamin Grosof* Coherent Knowledge** Presentation (30-min.) New Wave KRR: Rulelog-based Deep Reasoning with NLP for Financial Regulatory Compliance and More Benjamin Grosof* Coherent Knowledge** Presentation (30-min.)](https://www.pdfsearch.io/img/ea858022136705cc150a8e340e7efa94.jpg) | Add to Reading ListSource URL: ijcai-16.orgLanguage: English - Date: 2016-07-22 16:57:54
|
---|
95![CS264: Beyond Worst-Case Analysis Lecture #20: From Unknown Input Distributions to Instance Optimality∗ Tim Roughgarden† December 3, 2014 CS264: Beyond Worst-Case Analysis Lecture #20: From Unknown Input Distributions to Instance Optimality∗ Tim Roughgarden† December 3, 2014](https://www.pdfsearch.io/img/5505e2fe983a24f4a65d073277e7a2e2.jpg) | Add to Reading ListSource URL: theory.stanford.eduLanguage: English - Date: 2014-12-29 00:22:18
|
---|
96![MaSh: Machine Learning for Sledgehammer Daniel Kühlwein1 , Jasmin Christian Blanchette2 , Cezary Kaliszyk3 , and Josef Urban1 1 2 MaSh: Machine Learning for Sledgehammer Daniel Kühlwein1 , Jasmin Christian Blanchette2 , Cezary Kaliszyk3 , and Josef Urban1 1 2](https://www.pdfsearch.io/img/3ebdd1a558c306dd5b9bec7daa8d22aa.jpg) | Add to Reading ListSource URL: people.mpi-inf.mpg.deLanguage: English - Date: 2015-03-13 06:06:51
|
---|
97![Controlling The Real World With Computers ::. Control And Embedded Systems .:: Table Of Contents Previous: Programming Part 1 Next: Boolean Logic Controlling The Real World With Computers ::. Control And Embedded Systems .:: Table Of Contents Previous: Programming Part 1 Next: Boolean Logic](https://www.pdfsearch.io/img/d891352bc47ccfcd41bf5fc54ddb0504.jpg) | Add to Reading ListSource URL: learn-c.comLanguage: English - Date: 2016-02-02 18:33:21
|
---|
98![A Note on Monitor Versions Essay in the Honour of C.A.R. Hoare Ole-Johan Dahl Department of Informatics University of Oslo, Norway 30th July 1999 A Note on Monitor Versions Essay in the Honour of C.A.R. Hoare Ole-Johan Dahl Department of Informatics University of Oslo, Norway 30th July 1999](https://www.pdfsearch.io/img/7985b47cb28f7b9006161598539d0807.jpg) | Add to Reading ListSource URL: www.olejohandahl.infoLanguage: English - Date: 2013-09-23 13:44:35
|
---|
99![Paramodulation Paramodulation Linear Paramodulation Paramodulation Paramodulation Linear Paramodulation](https://www.pdfsearch.io/img/5ffdb30e497cde5592683421bad1659b.jpg) | Add to Reading ListSource URL: profs.sci.univr.itLanguage: English - Date: 2010-08-31 11:58:31
|
---|
100![Expressive Logical Combinators for Free Pierre Genevès (CNRS) Joint work with Alan Schmitt (Inria) IJCAI, July 30th 2015, Buenos Aires Expressive Logical Combinators for Free Pierre Genevès (CNRS) Joint work with Alan Schmitt (Inria) IJCAI, July 30th 2015, Buenos Aires](https://www.pdfsearch.io/img/24205f85f377f825ecdf63a5407606fb.jpg) | Add to Reading ListSource URL: tyrex.inria.frLanguage: English - Date: 2015-07-29 15:55:34
|
---|